1

Arithmetic transfinite induction and recursive well-orderings

Year:
1985
Language:
english
File:
PDF, 591 KB
english, 1985